Sachant que
\((d)\) est la médiatrice de \([GH]\) et
\(M \in (d)\)
{"init": {"range": [[-10, 10], [-10, 10]], "scale": [35, 35]}, "line": [[[-10.0, -10.0], [10.0, -10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -9.0], [10.0, -9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -8.0], [10.0, -8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -7.0], [10.0, -7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -6.0], [10.0, -6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -5.0], [10.0, -5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -4.0], [10.0, -4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -3.0], [10.0, -3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -2.0], [10.0, -2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -1.0], [10.0, -1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 0.0], [10.0, 0.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 1.0], [10.0, 1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 2.0], [10.0, 2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 3.0], [10.0, 3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 4.0], [10.0, 4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 5.0], [10.0, 5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 6.0], [10.0, 6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 7.0], [10.0, 7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 8.0], [10.0, 8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 9.0], [10.0, 9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -10.0], [-10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-9.0, -10.0], [-9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-8.0, -10.0], [-8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-7.0, -10.0], [-7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-6.0, -10.0], [-6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-5.0, -10.0], [-5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-4.0, -10.0], [-4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.0, -10.0], [-3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-2.0, -10.0], [-2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.0, -10.0], [-1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[0.0, -10.0], [0.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[1.0, -10.0], [1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[2.0, -10.0], [2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[3.0, -10.0], [3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[4.0, -10.0], [4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[5.0, -10.0], [5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[6.0, -10.0], [6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[7.0, -10.0], [7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[8.0, -10.0], [8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[9.0, -10.0], [9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[10.0, -10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.1, -4.0], [-0.9, -4.0], {}], [[-1.0, -4.1], [-1.0, -3.9], {}], [[4.9, -4.0], [5.1, -4.0], {}], [[5.0, -4.1], [5.0, -3.9], {}], [[-4.1, 5.0], [-3.9, 5.0], {}], [[-4.0, 4.9], [-4.0, 5.1], {}], [[1.9, -1.0], [2.1, -1.0], {}], [[2.0, -1.1], [2.0, -0.9], {}], [[-1.0, -4.0], [5.0, -4.0], {"subtype": "segment"}], [[5.0, -4.0], [-4.0, 5.0], {"subtype": "segment"}], [[-4.0, 5.0], [-1.0, -4.0], {"subtype": "segment"}], [[2.0, -10.0], [2.0, 9.5], {"subtype": "line"}]], "label": [[[-1.0, -4.0], "G", "below", {}], [[5.0, -4.0], "H", "below right", {}], [[-4.0, 5.0], "I", "above left", {}], [[2.0, -1.0], "M", "above left", {}], [[2.0, 10.0], "(d)", {"subtype": "line"}]]}
Prouver que \(GM = HM\).